探空火箭图像压缩算法研究

结合探空火箭图像系统需求, 提出了一种基于小波变换编码, 即基于MSPIHT的自适应差分算术编码(MSPIHT Adaptive Differential Arithmetic Coding for image, MADAC)的图像压缩算法. 该算法对经过量化编码之后的数据 进行熵编码. 实验结果表明, MADAC算法具备探空火箭图像系统所要求的分辨 率、帧速率及压缩率可调的功能, 且易于硬件实现.      

基于微分平坦方法的三维制导律设计

针对强耦合条件下的三维制导问题提出了一种新的设计框架。滚动引起的俯仰、偏航通道之间的强耦合关系,使得双通道解耦的三维制导律设计困难,使用微分平坦方法可以克服这一困难。首先使用矢量建立了导弹的一般运动学描述,并由此证明导弹制导系统是微分平坦的。依据系统的平坦输出设计比例-微分(PD)控制律可以实现目标静止或机动时的制导。进一步,通过对PD参数的适当约束可以实现任意落角及任意入射方位角的制导。仿真结果验证了该设计的优点。     

基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

Envelope protection for aircraft encountering upset condition based on dynamic envelope enlargement

Upset condition encountered by an aircraft in flight could pose great threat to flight safety, which is of chief importance in civil aviation. The causal factors have the nonlinear and multiple characteristics, and as a result the conventional envelope protection system cannot successfully do with the condition. So dynamic envelope based on differential manifold theory, which can take more coupling factors into account, is proposed as a basis to design a novel envelope protection system. Then the relationship between the dynamic envelope and the control coefficient or pilot command is obtained, and the result shows that the dynamic envelope can be enlarged with the change of control coefficient. Furthermore, quantification of flight security is realized via defining relative distance between flight state and dynamic envelope, which can detect whether there is a risk for an aircraft in flight. Finally, an envelope protection system based on dynamic envelope enlargement is proposed on the basis. NASA’s Generic Transport Model encountering hazard gust wind in climbing phase is taken as an example to verify the system’s feasibility. The result shows that the system can give a better operation encountering upset condition and to a certain extent reduce the number of accidents or incidents.     

基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ，ＤＥＤＳ），而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构，文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念，并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析，阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ     

Investigation of the differential rotation of the large-scale magnetic elements for the solar activity cycles 20 and 21

The differential rotation of the patterns of the large-scale solar magnetic field during solar activity cycles 20 and 21 is investigated. Compact magnetic elements with the polarity of the general solar magnetic field have larger speed of rotation than the elements with the opposite polarity. The surface of the Sun was divided by 10°-zones. In all of them the average rotation rate of the magnetic elements with negative polarity is little higher than that of the magnetic elements with positive polarity, except for 50°-zone of the south hemisphere and at the 10° latitude of the north hemisphere.

The rates of differential rotation for large-scale magnetic elements with negative and positive polarities have similar behavior for both cycles of the solar activity.

The rotation rate varies at polarity reversal of the circumpolar magnetic fields. For the cycle No 20 in 1969–1970 the threefold reversal took place in the northern hemisphere and variations of rotation rate can be noticed for magnetic elements both with positive and negative polarity for each 10°-zone in the same hemisphere.     

高速低压差分信号（LVDS）器件应用设计方法研究

随着高速LVDS器件得到广泛应用，在高速信号使用LVDS传输时，信号传输线路问题、信号传输波形的最佳化成为非常重要的课题之一。由于印制电路板的布局布线直接影响信号传输质量，因此利用仿真对印制板分析成为设计上不可缺少的手段。有鉴于此，文章深入探讨了高速电路的设计，总结出设计技巧。     

基于小生境遗传算法的航空发动机维修构型控制

为实现航空发动机维修中构型控制,建立了基于Petri网的构型控制描述模型,通过变迁序列的激发求得改型后可能的零件集合,作为后续的约束满足条件,并提出一种基于小生境遗传算法的发动机构型多方案求解方式.     

如何建立实际问题的数学模型

通过对一例实际问题的物理分析，结合高等数学知识，阐述建立相应数学模型的方法。